On generalized quantum Turing machine and its language classes
نویسندگان
چکیده
Ohya and Volovich have proposed a new quantum computation model with chaotic amplification to solve the SAT problem, which went beyond usual quantum algorithm. In this paper, we generalize quantum Turing machine by rewriting usual quantum Turing machine in terms of channel transformation. Moreover, we define some computational classes of generalized quantum Turing machine and show that we can treat the Ohya-Volovich (OV) SAT algorithm. Key–Words: Quantum Information, Quantum Algorithm, Quantum Turing Machine, Quantum Channel
منابع مشابه
Mathematical Characterization of Quantum Algorithm
We have studied quantum computation for many years, and defined the generalized quantum Turing machine by using completely positive channels and density operators on the Hilbert space. This mathematical model of quantum algorithm gives us the new language classes in which the class NP is included in a polynomial time class. It has also a possibility to expand the theory of computability which h...
متن کاملSome improvements in fuzzy turing machines
In this paper, we improve some previous definitions of fuzzy-type Turing machines to obtain degrees of accepting and rejecting in a computational manner. We apply a BFS-based search method and some level’s upper bounds to propose a computational process in calculating degrees of accepting and rejecting. Next, we introduce the class of Extended Fuzzy Turing Machines equipped with indeterminacy s...
متن کاملA Note on Bulk Quantum Turing Machine
Recently, among experiments for realization of quantum computers, NMR quantum computers have achieved the most impressive succession. There is a model of the NMR quantum computation by Atsumi and Nishino’s bulk quantum Turing machine. It assumes, however, an unnatural assumption with quantum mechanics. We, then, define a more natural and quantum mechanically realizable modified bulk quantum Tur...
متن کاملGeneralized Quantum Turing Machine and its Application to the SAT Chaos Algorithm
Ohya and Volovich have proposed a new quantum computation model with chaotic amplification to solve the SAT problem, which went beyond usual quantum algorithm. In this paper, we generalize quantum Turing machine, and we show in this general quantum Turing machine (GQTM) that we can treat the Ohya-Volovich (OV) SAT algorithm.
متن کاملComplexity Theory Made Easy The Formal Language Approach to the Definition of Complexity Classes
In recent years generalized acceptance criteria for different nondeterministic computation models have been examined. Instead of the common definition where an input word is said to be accepted if in the corresponding computation tree an accepting path exists, more general conditions on this tree are used. We survey some recent results from this context, paying particular attention to nondeterm...
متن کامل